Eléments de l'association

	Nord-Pas-de-Calais	47
	R. Gilleron	2
	Nord-Pas-de-Calais *Sauf* R. Gilleron"	45
	R. Gilleron *Sauf* Nord-Pas-de-Calais"	0
	Nord-Pas-de-Calais Et R. Gilleron	2
	Nord-Pas-de-Calais Ou R. Gilleron	47
	*Corpus*	24195

List of bibliographic references

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
00DE23	J. L. Coquidé [France] ; R. Gilleron [France]	Proofs and reachability problem for ground rewrite systems
00E035	A. Deruyver [France] ; R. Gilleron [France]	The reachability problem for ground TRS and some extensions

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022